A Menger Redux: Embedding Metric Spaces Isometrically in Euclidean Space

نویسندگان

  • JOHN C. BOWERS
  • PHILIP L. BOWERS
چکیده

We present geometric proofs of Menger’s results on isometrically embedding metric spaces in Euclidean space. In 1928, Karl Menger [6] published the proof of a beautiful characterization of those metric spaces that are isometrically embeddable in the ndimensional Euclidean space E. While a visitor at Harvard University and the Rice Institute in Houston during the 1930-31 academic year, Menger gave courses on metric geometry in which he “considerably shortened and revised [his] original proofs and generalized the formulation.” The new proofs of the 1930-31 academic year appear in the English language article New foundation of Euclidean geometry [7] published in the American Journal of Mathematics in 1931. Leo Liberti and Carlile Lavor in their beautifully written article Six mathematical gems from the history of distance geometry remark on their review of a part of Menger’s characterization that “it is remarkable that almost none of the results below offers an intuitive geometrical grasp, such as the proofs of Heron’s formula and the Cayley Theorem do. As formal mathematics has it, part of the beauty in Menger’s work consists in turning the ‘visual’ geometrical proofs based on intuition into formal symbolic arguments based on sets and relations.” Part of the reason that Menger’s results fail to offer an “intuitive geometric grasp” is that Menger offers his results in the general setting of an abstract congruence system and semi-metric spaces. We believe that Menger’s characterization deserves a wider circulation among the mathematics community. The aim of this article is to explicate Menger’s characterization in the category of metric spaces rather than in his original setting of congruence systems and their model semi-metric spaces, and in doing so to give a mostly self-contained treatment with straightforward geometric proofs of his characterization. We provide all the background material on the geometry of Euclidean space that is needed to prove Menger’s results so that the proofs are accessible to any undergraduate who has mastered the basics of real linear algebra and real inner product 1[7], p. 721. 2[4], p. 12. 3See footnote 5.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Completeness in Probabilistic Metric Spaces

The idea of probabilistic metric space was introduced by Menger and he showed that probabilistic metric spaces are generalizations of metric spaces. Thus, in this paper, we prove some of the important features and theorems and conclusions that are found in metric spaces. At the beginning of this paper, the distance distribution functions are proposed. These functions are essential in defining p...

متن کامل

Common fixed point theorems for occasionally weakly compatible mappings in Menger spaces and applications

In 2008, Al-Thaga and Shahzad [Generalized I-nonexpansive self-maps and invariant approximations, Acta Math. Sinica 24(5) (2008), 867{876]introduced the notion of occasionally weakly compatible mappings (shortly owcmaps) which is more general than all the commutativity concepts. In the presentpaper, we prove common xed point theorems for families of owc maps in Mengerspaces. As applications to ...

متن کامل

Large-scale Rank and Rigidity of the Weil-petersson Metric

We study the large-scale geometry of Weil-Petersson space, that is, Teichmüller space equipped with the Weil-Petersson metric. We show that this admits a natural coarse median structure of a specific rank. Given that this is equal to the maximal dimension of a quasi-isometrically embedded euclidean space, we recover a result of Eskin Masur and Rafi which gives the coarse rank of the space. We g...

متن کامل

FIXED POINT THEOREM OF KANNAN-TYPE MAPPINGS IN GENERALIZED FUZZY METRIC SPACES

Binayak et al in [1] proved a fixed point of generalized Kannan type-mappings in generalized Menger spaces. In this paper we extend gen- eralized Kannan-type mappings in generalized fuzzy metric spaces. Then we prove a fixed point theorem of this kind of mapping in generalized fuzzy metric spaces. Finally we present an example of our main result.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2016